11![arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University](https://www.pdfsearch.io/img/925397b274246b732c3e7b4ff60c028c.jpg) | Add to Reading ListSource URL: www.andrew.cmu.edu- Date: 2018-02-12 22:13:01
|
---|
12![Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic](https://www.pdfsearch.io/img/0330f4276c0edcbd1c69448dc6a2c3ea.jpg) | Add to Reading ListSource URL: www.ki.inf.tu-dresden.de- Date: 2006-03-26 15:53:31
|
---|
13![Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o](https://www.pdfsearch.io/img/9ddce5edd635a6163b19a0e8f8bbbe9a.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.fr- Date: 2013-05-22 10:58:51
|
---|
14![Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric
First-Order Logic Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric
First-Order Logic](https://www.pdfsearch.io/img/1b830bc9abff0f2b3259b3f30149881c.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2015-04-21 07:47:33
|
---|
15![Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in: Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:](https://www.pdfsearch.io/img/0deee7631d3af7c7fc037c817f966c30.jpg) | Add to Reading ListSource URL: orbit.dtu.dk- Date: 2016-09-29 07:15:35
|
---|
16![Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of](https://www.pdfsearch.io/img/093ff3b8c38dad916c02c7988a7f3ea1.jpg) | Add to Reading ListSource URL: web.cecs.pdx.edu- Date: 2014-01-24 04:02:53
|
---|
17![Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula](https://www.pdfsearch.io/img/51e46871671935b0ad9c1f028341a2cf.jpg) | Add to Reading ListSource URL: www.nuprl.org- Date: 2011-10-08 01:03:35
|
---|
18![Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole](https://www.pdfsearch.io/img/56e0089fc25c33986197361de40d5dac.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.fr- Date: 2013-05-22 23:44:30
|
---|
19![CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial](https://www.pdfsearch.io/img/ab9a5d52290148635165c3971ce8aa1e.jpg) | Add to Reading ListSource URL: www.gate.iisc.ernet.in- Date: 2015-09-02 10:23:17
|
---|
20![On Structuring Proof Search for First Order Linear Logic On Structuring Proof Search for First Order Linear Logic](https://www.pdfsearch.io/img/32d93da9a553410dc96479a1b8a91fc2.jpg) | Add to Reading ListSource URL: www.ki.inf.tu-dresden.de- Date: 2006-03-26 13:44:51
|
---|